home
***
CD-ROM
|
disk
|
FTP
|
other
***
search
/
Atari Mega Archive 1
/
Atari Mega Archive - Volume 1.iso
/
language
/
modula.zoo
/
_defn_mathlib0.def
< prev
next >
Wrap
Text File
|
1988-04-26
|
384b
|
23 lines
DEFINITION MODULE MathLib0;
(* Version 1.2 of 94/07/08 *)
PROCEDURE sqrt (x: REAL): REAL;
PROCEDURE exp (x: REAL): REAL;
PROCEDURE ln (x: REAL): REAL;
PROCEDURE sin (x: REAL): REAL;
PROCEDURE cos (x: REAL): REAL;
PROCEDURE arctan (x: REAL): REAL;
PROCEDURE real (x: INTEGER): REAL;
PROCEDURE entier (x: REAL): INTEGER;
END MathLib0.